$\forall$$i$, $j$:Id, $k_{1}$, $k_{2}$:Knd. ($\uparrow$isrcv($k_{1}$)) $\Rightarrow$ ($k_{1}$ = $k_{2}$) $\Rightarrow$ (locknd($i$;$k_{1}$) = locknd($j$;$k_{2}$) $\in$ LocKnd)